open Toplevel

let _ =
  toplevel ();
  1
